#include <stdio.h>
int bit[10];

void cntBit(int n) {
	bit[n % 10]++;
	bit[n / 10 % 10]++;
	bit[n / 100]++;
	return ;
}

int main(void) {
	int n, flag0 = 1;
	if (scanf("%d", &n));
	for (int i = 1; i < 10; i++)
		for (int j = 1; j < 10; j++) {
			int m1 = n * 100 + i * 10 + j, flag = 0;
			if (m1 * 3 > 999)
				continue;
			for (int k = 1; k < 4; k++)
				cntBit(k * m1);
			for (int k = 1; k < 10; k++) {
				if (bit[k] == 0)
					flag = 1;
				bit[k] = 0;
			}
			if (flag == 0) {
				printf("%d,%d,%d\n", m1, m1 * 2, m1 * 3);
				flag0 = 0;
			}
		}
	if (flag0)
		printf("0,0,0\n");
	return 0;
}

